Practical secure aggregation for privacy-preserving machine learning